An Architectural Approach to Ensuring Consistency in Hierarchical Execution

Hierarchical task decomposition is a method used in many agent systems to organize agent knowledge. This work shows how the combination of a hierarchy and persistent assertions of knowledge can lead to difficulty in maintaining logical consistency in asserted knowledge. We explore the problematic consequences of persistent assumptions in the reasoning process and introduce novel potential solutions. Having implemented one of the possible solutions, Dynamic Hierarchical Justification, its effectiveness is demonstrated with an empirical analysis

Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

The equilibrium intrinsic crystal-liquid interface of colloids

We use confocal microscopy to study an equilibrated crystal-liquid interface in a colloidal suspension. Capillary waves roughen the surface, but locally the intrinsic interface is sharply defined. We use local measurements of the structure and dynamics to characterize the intrinsic interface, and different measurements find slightly different widths of this interface. In terms of the particle diameter $d$, this width is either $1.5d$ (based on structural information) or $2.4d$ (based on dynamics), both not much larger than the particle size. This work is the first direct experimental visualization of an equilibrated crystal-liquid interface.Comment: 6 pages; revised version, submitted to PNA

Adjusting the melting point of a model system via Gibbs-Duhem integration: application to a model of Aluminum

Model interaction potentials for real materials are generally optimized with respect to only those experimental properties that are easily evaluated as mechanical averages (e.g., elastic constants (at T=0 K), static lattice energies and liquid structure). For such potentials, agreement with experiment for the non-mechanical properties, such as the melting point, is not guaranteed and such values can deviate significantly from experiment. We present a method for re-parameterizing any model interaction potential of a real material to adjust its melting temperature to a value that is closer to its experimental melting temperature. This is done without significantly affecting the mechanical properties for which the potential was modeled. This method is an application of Gibbs-Duhem integration [D. Kofke, Mol. Phys.78, 1331 (1993)]. As a test we apply the method to an embedded atom model of aluminum [J. Mei and J.W. Davenport, Phys. Rev. B 46, 21 (1992)] for which the melting temperature for the thermodynamic limit is 826.4 +/- 1.3K - somewhat below the experimental value of 933K. After re-parameterization, the melting temperature of the modified potential is found to be 931.5K +/- 1.5K.Comment: 9 pages, 5 figures, 4 table

Providing Self-Aware Systems with Reflexivity

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept implementation of computational reflexion, viewed as an enriched form of program interpretation and a way to dynamically "augment" a computational process.Comment: 12 pages plus bibliography, appendices with code description, code of the proof-of-concept implementation, and examples of executio

Interplay between distribution of live cells and growth dynamics of solid tumours

Experiments show that simple diffusion of nutrients and waste molecules is not sufficient to explain the typical multilayered structure of solid tumours, where an outer rim of proliferating cells surrounds a layer of quiescent but viable cells and a central necrotic region. These experiments challenge models of tumour growth based exclusively on diffusion. Here we propose a model of tumour growth that incorporates the volume dynamics and the distribution of cells within the viable cell rim. The model is suggested by in silico experiments and is validated using in vitro data. The results correlate with in vivo data as well, and the model can be used to support experimental and clinical oncology

Weighted-density approximation for general nonuniform fluid mixtures

In order to construct a general density-functional theory for nonuniform fluid mixtures, we propose an extension to multicomponent systems of the weighted-density approximation (WDA) of Curtin and Ashcroft [Phys. Rev. A 32, 2909 (1985)]. This extension corrects a deficiency in a similar extension proposed earlier by Denton and Ashcroft [Phys. Rev. A 42, 7312 (1990)], in that that functional cannot be applied to the multi-component nonuniform fluid systems with spatially varying composition, such as solid-fluid interfaces. As a test of the accuracy of our new functional, we apply it to the calculation of the freezing phase diagram of a binary hard-sphere fluid, and compare the results to simulation and the Denton-Ashcroft extension.Comment: 4 pages, 4 figures, to appear in Phys. Rev. E as Brief Repor

Measurement of Temporal Correlations of the Overhauser Field in a Double Quantum Dot

In quantum dots made from materials with nonzero nuclear spins, hyperfine coupling creates a fluctuating effective Zeeman field (Overhauser field) felt by electrons, which can be a dominant source of spin qubit decoherence. We characterize the spectral properties of the fluctuating Overhauser field in a GaAs double quantum dot by measuring correlation functions and power spectra of the rate of singlet-triplet mixing of two separated electrons. Away from zero field, spectral weight is concentrated below 10 Hz, with 1/f^2 dependence on frequency, f. This is consistent with a model of nuclear spin diffusion, and indicates that decoherence can be largely suppressed by echo techniques.Comment: related papers available at http://marcuslab.harvard.ed